| 翻訳と辞書 |
| Steve Vickers (computer scientist) ： ウィキペディア英語版 |
Steve Vickers (computer scientist)
Steve Vickers (born c. 1953〔Vickers's age was given as 29 in a'' Sinclair User'' article from July 1982. http://www.sincuser.f9.co.uk/004/newbiz.htm, accessed 5 October 2013.〕) is a British mathematician and computer scientist. In the early 1980s, he wrote ROM firmware and manuals for three home computers, the Sinclair ZX81 and ZX Spectrum and the Jupiter Ace. The latter was produced by Jupiter Cantab, a short-lived company Vickers formed together with Richard Altwasser, after the two had left Sinclair Research. Since the late 1980s, Vickers has been an academic in the field of geometric logic, writing over 30 papers in scholarly journals on mathematical aspects of computer science. His book ''Topology via Logic'' has been influential over a range of fields (extending even to theoretical physics, where Christopher Isham of Imperial College London has cited Vickers as an early influence on his work on topoi and quantum gravity〔Youtube video, Chris Isham: "Topos theory in the formulation of theories of physics" about 1 minute in.〕). He is currently a Senior Lecturer at the University of Birmingham.
== Education ==
Vickers graduated from King's College, Cambridge with a degree in mathematics and completed a PhD at Leeds University, also in mathematics.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Steve Vickers (computer scientist)」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|